@Article{GreghiMarCarAmbVil:2018:AdDr,
author = "Greghi, Juliana Galvani and Martins, Eliane and Carvalho, Ariadne
M. B. R. and Ambrosio, Ana Maria and Villani, Em{\'{\i}}lia",
affiliation = "{Universidade Federal de Lavras (UFLA)} and {Universidade Estadual
de Campinas (UNICAMP)} and {Universidade Estadual de Campinas
(UNICAMP)} and {Instituto Nacional de Pesquisas Espaciais (INPE)}
and {Instituto Tecnol{\'o}gico de Aeron{\'a}utica (ITA)}",
title = "From natural language standard documents to state machines:
advantages and drawbacks",
journal = "Journal of Aerospace Information Systems",
year = "2018",
volume = "15",
number = "5",
pages = "271--281",
month = "May",
abstract = "Problems in requirements documents are among the root cause of a
number of accidents in space missions. A common approach toward
the minimization of these problems is to transform the
requirements into models that represent the system's behavior.
However, this solution requires dealing with issues such as
choosing the best modeling formalism, defining to what extent the
transformation process should be automated, and assuring the
quality of the requirements documents to be used as input. In
space missions, requirements are frequently tailored from standard
documents, such as the Packet Utilization Standard, which are
composed of mandatory and optional requirements. This paper
presents a semi-automatic method to transform standard
requirements documents into extended finite state machines. To
evaluate it, we apply the method to a set of requirements from the
Packet Utilization Standard. We evaluate the method using some
Packet Utilization Standard services. In light of the results, the
paper discusses advantages and potential problems of each
approach.",
doi = "10.2514/1.I010525",
url = "http://dx.doi.org/10.2514/1.I010525",
issn = "2327-3097",
language = "en",
targetfile = "greghi_from.pdf",
urlaccessdate = "27 abr. 2024"
}